منابع مشابه
High-level languages for low-level programming
ions Abstractions have a cost. File systems and network protocols are generic and not tailored to one particular application. We cannot expect an abstraction to be optimal with respect to every application that uses it. Similarly on the PL side one cannot expect a general purpose PL to provide the exact abstractions needed for one particular application. These abstractions too have a cost: they...
متن کاملSafe Low-Level Languages
Two hazards commonly associated with manual memory management are allocating a block of memory without ever freeing it (memory leak) and attempting to access a block of memory which has already been freed (dangling pointer access). Tofte and Talpin described a “region type” system, in which data in the store is associated with a named region. The expression (e at ⇢) allocates store space for th...
متن کاملHigh-level Concurrent Languages
ing Communications in Mobile Processes Vasco T. Vasconcelos, University of Lisbon Witnessing the increase of complexity on the objects that names may carry in process algebras — from CCS, through the (monadic and then the polyadic) picalculus, to the calculus of objects (where names carry a label together with a tuple of names) — we propose a framework where communications are taken from an abs...
متن کاملHigh-Level Abstractions for Low-Level Programming
High-Level Abstractions for Low-Level Programming Iavor Sotirov Diatchki Ph.D., OGI School of Science & Engineering at Oregon Health & Science University May 2007 Thesis Advisor: Dr. Mark P. Jones Computers are ubiquitous in modern society. They come in all shapes and sizes: from standard household appliances and personal computers, to safety and security critical applications such as vehicle n...
متن کاملHigh-Level Optimizations for Low-Level Software
ion, in the presence of a number of interacting analysis tools? We believe this to be an important challenge but have not yet made much progress towards solving it. Of course, machines often have trouble answering “why” questions because they usually do not keep track of the reasons that previous decisions were made, and because the correct answer can depend on the frame of mind of a human. We ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1971
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/14.1.87